//]]>
Unhighlight Highlight
ECOOP 2012 – Object-Oriented Programming by Noble, James. Publication: . Approx. 780 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Service and Application Engineering by Heisel, Maritta. Publication: . Approx. 200 p. 88 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Giese, Holger. Publication: . XIII, 269p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Correct Reasoning by Erdem, Esra. Publication: . XI, 594p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Derrick, John. Publication: . XII, 360p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies – Ada-Europe 2012 by Brorsson, Mats. Publication: . XII, 220p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Gschwind, Thomas. Publication: . XII, 195p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, Models, Components, Patterns by Furia, Carlo A. Publication: . XI, 372p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Hu, Zhenjiang. Publication: . X, 297p. 115 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Brucker, Achim D. Publication: . X, 177p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Khurshid, Sarfraz. Publication: . XII, 458 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Schrijvers, Tom. Publication: . X, 333 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Clarke, Edmund. Publication: . XIV, 411 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models in Software Engineering by Kienzle, Jörg. Publication: . X, 292 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reversible Computation by Vos, Alexis. Publication: . IX, 123p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Program Semantics by Constable, Robert L. Publication: . XIII, 357 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programs, Norms and Action by Artikis, Alexander. Publication: . XX, 425 p. 36 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XII, 377 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies IX by Sakama, Chiaki. Publication: . XII, 153 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Goodloe, Alwyn E. Publication: . XII, 466p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية